Fixes after addition of dummy_vcpu_info.
authorKeir Fraser <keir.fraser@citrix.com>
Mon, 2 Nov 2009 09:38:34 +0000 (09:38 +0000)
committerKeir Fraser <keir.fraser@citrix.com>
Mon, 2 Nov 2009 09:38:34 +0000 (09:38 +0000)
commit18e03239efcb9c1519d43a0df8349a3111079d7e
tree370966d034fb74ca1b8b4c3a47e82b3eb340946d
parent6785f5fef31f5c94d6d7902aea61237cf08420b1
Fixes after addition of dummy_vcpu_info.

 - Clean initialisation of new vcpu_info in map_vcpu_info() if the
 vcpu was previously using the shared dummy structure.
 - Don't allow a vcpu to run with teh shared dummy info structure, as
 no good can come of it.

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>
xen/arch/x86/domain.c
xen/common/domain.c